Theoretical insights into the RR Lyrae K-band Period-Luminosity relation

Based on updated nonlinear, convective pulsation models computed for several values of stellar mass, luminosity and metallicity, theoretical constraints on the K-band Period-Luminosity (PLK) relation of RR Lyrae stars are presented. We show that for each given metal content the predicted PLK is marginally dependent on uncertainties of the stellar mass and/or luminosity. Then, by considering the RR Lyrae masses suggested by evolutionary computations for the various metallicities, we obtain that the predicted infrared magnitude M_K over the range 0.0001< Z <0.02 is given by the relation MK=0.568-2.071logP+0.087logZ-0.778logL/Lo, with a rms scatter of 0.032 mag. Therefore, by allowing the luminosities of RR Lyrae stars to vary within the range covered by current evolutionary predictions for metal-deficient (0.0001< Z <0.006) horizontal branch models, we eventually find that the infrared Period-Luminosity- Metallicity (PLZK) relation is MK=0.139-2.071(logP+0.30)+0.167logZ, with a total intrinsic dispersion of 0.037 mag. As a consequence, the use of such a PLZK relation should constrain within +-0.04 mag the infrared distance modulus of field and cluster RR Lyrae variables, provided that accurate observations and reliable estimates of the metal content are available. Moreover, we show that the combination of K and V measurements can supply independent information on the average luminosity of RR Lyrae stars, thus yielding tight constraints on the input physics of stellar evolution computations. Finally, for globular clusters with a sizable sample of first overtone variables, the reddening can be estimated by using the PLZK relation together with the predicted MV-logP relation at the blue edge of the instability strip (Caputo et al. 2000).Comment: 8 pages, including 5 postscript figures, accepted for publication on MNRA

Improvement of the CORS method for Cepheids radii determination based on Stromgren photometry

In this paper we present a modified version of the CORS method based on a new calibration of the Surface Brightness function in the Stromgren photometric system. The method has been tested by means of synthetic light and radial velocity curves derived from nonlinear pulsation models. Detailed simulations have been performed to take into account the quality of real observed curves as well as possible shifts between photometric and radial velocity data. The method has been then applied to a sample of Galactic Cepheids with Stromgren photometry and radial velocity data to derive the radii and a new PR relation. As a result we find log R = (1.19 +- 0.09) + (0.74 +- 0.11) log P (r.m.s=0.07). The comparison between our result and previous estimates in the literature is satisfactory. Better results are expected from the adoption of improved model atmosphere grids.Comment: 13 pages including 12 postscript figures and 3 jpeg figures; accepted for publication on A&

The RR Lyrae U Com as a test for nonlinear pulsation models

We use high precision multiband photometric data of the first overtone RRLyrae U Com to investigate the predictive capability of full amplitude,nonlinear, convective hydrodynamical models. The main outcome of thisinvestigation is that theoretical predictions properly account for theluminosity variations along a full pulsation cycle. Moreover, we find that thisapproach, due to the strong dependence of this observable and of the pulsationperiod on stellar parameters, supply tight constraints on stellar mass,effective temperature, and distance modulus. Pulsational estimates of theseparameters appear in good agreement with empirical ones. Finally, theoccurrence of a well-defined bump just before the luminosity maximum gave theunique opportunity to calibrate the turbulent convection model adopted forhandling the coupling between pulsation and convection

The Age Dependent Luminosities of the Red Giant Branch Bump, Asymptotic Giant Branch Bump, and Horizontal Branch Red Clump

Color-magnitude diagrams of globular clusters often exhibit a prominent horizontal branch (HB) and may also show features such as the red giant branch (RGB) bump and the asymptotic giant branch (AGB) bump. Stellar evolution theory predicts that the luminosities of these features will depend on the metallicity and age of the cluster. We calculate theoretical lines of 2 to 12 Gyr constant age RGB-bumps and AGB-bumps in the V(HB-Bump)--[Fe/H] diagram, which shows the brightness difference between the bump and the HB as a function of metallicity. In order to test the predictions, we identify giant branch bumps in new Hubble Space Telescope color-magnitude diagrams for 8 SMC clusters. First, we conclude that the SMC cluster bumps are RGB-bumps. The data for clusters younger than ~6 Gyr are in fair agreement the relative age dependent luminosities of the HB and RGB-bump. The V(HB-Bump)--[Fe/H] data for clusters older then ~6 Gyr demonstrate a less satisfactory agreement with our calculations. We conclude that ~6 Gyr is a lower bound to the age of clusters for which the Galactic globular cluster, age independent V(HB-Bump)--[Fe/H] calibration is valid. Application of the V(HB-bump)--[Fe/H] diagram to stellar population studies is discussed.Comment: Accepted for publication in the Astrophysical Journal, 30 pages, Latex aaspp4.sty, including 7 postscript figure

A Typed Lambda Calculus with Intersection Types

AbstractIntersection types are well known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type operator is a meta-level operator, that is, there is no direct logical counterpart in the Curry–Howard isomorphism sense. In particular, its meta-level nature implies that it does not correspond to the intuitionistic conjunction.The intersection type system is naturally a type inference system (system à la Curry), but the meta-level nature of the intersection operator does not allow to easily design an equivalent typed system (system à la Church). There are many proposals in the literature to design such systems, but none of them gives an entirely satisfactory answer to the problem. In this paper, we will review the main results in the literature both on the logical interpretation of intersection types and on proposed typed lambda calculi.The core of this paper is a new proposal for a true intersection typed lambda calculus, without any meta-level notion. Namely, any typable term (in the intersection type inference) has a corresponding typed term (which is the same as the untyped term by erasing the type decorations and the typed term constructors) with the same type, and vice versa.The main idea is to introduce a relevant parallel term constructor which corresponds to the intersection type constructor, in such a way that terms in parallel share the same resources, that is, the same context of free typed variables. Three rules allow us to generate all typed terms. The first two rules, Application and Lambda-abstraction, are performed on all the components of a parallel term in a synchronized way. Finally, via the third rule of Local Renaming, once a free typed variable is bounded by lambda-abstraction, each of the terms in parallel can do its local renaming, with type refinement, of that particular resource

On a new theoretical framework for RR Lyrae stars I: the metallicity dependence

We present new nonlinear, time-dependent convective hydrodynamical models of RR Lyrae stars computed assuming a constant helium-to-metal enrichment ratio and a broad range in metal abundances (Z=0.0001--0.02). The stellar masses and luminosities adopted to construct the pulsation models were fixed according to detailed central He burning Horizontal Branch evolutionary models. The pulsation models cover a broad range in stellar luminosity and effective temperatures and the modal stability is investigated for both fundamental and first overtones. We predict the topology of the instability strip as a function of the metal content and new analytical relations for the edges of the instability strip in the observational plane. Moreover, a new analytical relation to constrain the pulsation mass of double pulsators as a function of the period ratio and the metal content is provided. We derive new Period-Radius-Metallicity relations for fundamental and first-overtone pulsators. They agree quite well with similar empirical and theoretical relations in the literature. From the predicted bolometric light curves, transformed into optical (UBVRI) and near-infrared (JHK) bands, we compute the intensity-averaged mean magnitudes along the entire pulsation cycle and, in turn, new and homogenous metal-dependent (RIJHK) Period-Luminosity relations. Moreover, we compute new dual and triple band optical, optical--NIR and NIR Period-Wesenheit-Metallicity relations. Interestingly, we find that the optical Period-W(V,B-V) is independent of the metal content and that the accuracy of individual distances is a balance between the adopted diagnostics and the precision of photometric and spectroscopic datasets.Comment: 51 pages, 20 figures, 9 tables, accepted for publication on Ap